Hierons, A. M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Machine learning. Tom M. Mitchell. Published by McGraw-Hill, Maidenhead, U.K., International Student Edition, 1997. ISBN: 0-07-115467-1, 414 pages. Price: U.K. £22.99, soft cover.

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 27 KB

english, 1999

2

Real-Time Systems and Software, Alan C. Shaw, John Wiley & Sons, 2001, ISBN: 0-471-35490-2, 215 pages, Soft cover

Robert M. Hierons

Journal:

Year:

2001

Language:

english

File:

PDF, 3.42 MB

english, 2001

3

An overview of program slicing

Mark Harman, Robert Hierons

Journal:

Year:

2001

Language:

english

File:

PDF, 185 KB

english, 2001

4

[IEEE 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Campobasso, Italy (2018.3.20-2018.3.20)] 2018 International Workshop on Blockchain Oriented Software Engineering (IWBOSE) - Smart contracts vulnerabilities: a call for blockchain software engineering?

Destefanis, Giuseppe, Marchesi, Michele, Ortu, Marco, Tonelli, Roberto, Bracciali, Andrea, Hierons, Robert

Year:

2018

Language:

english

File:

PDF, 317 KB

english, 2018

5

Estimation of failure rate using random and partition testing

Robert M. Hierons, Michael P. Wiper

Journal:

Software Testing, Verification and Reliability

Year:

1997

Language:

english

File:

PDF, 109 KB

english, 1997

6

A trajectory-based strict semantics for program slicing

Richard W. Barraclough, David Binkley, Sebastian Danicic, Mark Harman, Robert M. Hierons, Ákos Kiss, Mike Laurence, Lahcen Ouarbya

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.16 MB

english, 2010

7

Scenarios-based testing of systems with distributed ports

Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez

Journal:

Software: Practice and Experience

Year:

2011

Language:

english

File:

PDF, 864 KB

english, 2011

8

Using communication coverage criteria and partial model generation to assist software integration testing

Christopher Robinson-Mallett, Robert M. Hierons, Jesse Poore, Peter Liggesmeyer

Journal:

Software Quality Journal

Year:

2008

Language:

english

File:

PDF, 918 KB

english, 2008

9

An integrated search-based approach for automatic testing from extended finite state machine (EFSM) models

Abdul Salam Kalaji, Robert Mark Hierons, Stephen Swift

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 2.05 MB

english, 2011

10

Search Algorithms for Regression Test Case Prioritization

Li, Z., Harman, M., Hierons, R.M.

Journal:

IEEE Transactions on Software Engineering

Year:

2007

Language:

english

File:

PDF, 3.58 MB

english, 2007

11

Reformulating software engineering as a search problem

Clarke, J., Dolado, J.J., Harman, M., Hierons, R., Jones, B., Lumkin, M., Mitchell, B., Mancoridis, S., Rees, K., Roper, M., Shepperd, M.

Journal:

IEE Proceedings - Software

Year:

2003

Language:

english

File:

PDF, 1.37 MB

english, 2003

12

A note on Thomas Willis' views on the corpus striatum and the internal capsule

A. Meyer, R. Hierons

Journal:

Journal of the Neurological Sciences

Year:

1964

Language:

english

File:

PDF, 932 KB

english, 1964

13

[IEEE 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - Windsor, United Kingdom (2009.09.4-2009.09.6)] 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques - A Search-Based Approach for Automatic Test Generation from Extended Finite State Machine (EFSM)

Kalaji, AbdulSalam, Hierons, Rob Mark, Swift, Stephen

Year:

2009

Language:

english

File:

PDF, 220 KB

english, 2009

14

The Oracle Problem When Testing from MSCs

Dan, H., Hierons, R. M.

Journal:

The Computer Journal

Year:

2014

Language:

english

File:

PDF, 306 KB

english, 2014

15

Complexity of Data Dependence Problems for Program Schemas with Concurrency

Danicic, Sebastian, Hierons, Robert M., Laurence, Michael R.

Journal:

ACM Transactions on Computational Logic

Year:

2012

Language:

english

File:

PDF, 275 KB

english, 2012

16

An extended framework for passive asynchronous testing

Hierons, Robert M., Merayo, Mercedes G., Núñez, Manuel

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 1.13 MB

english, 2016

17

[Lecture Notes in Computer Science] Testing Software and Systems Volume 11146 (30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings) || An Energy Aware Testing Framework for Smart-Spaces

Medina-Bulo, Inmaculada, Merayo, Mercedes G., Hierons, Robert

Year:

2018

Language:

english

File:

PDF, 672 KB

english, 2018

18

[Lecture Notes in Computer Science] Testing Software and Systems Volume 11146 (30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings) || From Ontologies to Input Models for Combinatorial Testing

Medina-Bulo, Inmaculada, Merayo, Mercedes G., Hierons, Robert

Year:

2018

Language:

english

File:

PDF, 527 KB

english, 2018

19

String Generation for Testing Regular Expressions

Zheng, Lixiao, Ma, Shuai, Wang, Yuanyang, Lin, Gang, Hierons, Rob

Journal:

The Computer Journal

Year:

2019

Language:

english

File:

PDF, 2.14 MB

english, 2019

20

Working Across Boundaries

Hierons, Robert M., Xie, Tao

Journal:

Software Testing, Verification and Reliability

Year:

2020

File:

PDF, 84 KB

2020

21

On automation in software engineering

Hierons, Robert M., Xie, Tao

Journal:

Software Testing, Verification and Reliability

Year:

2020

File:

PDF, 455 KB

2020

22

Testing from a Z Specification

ROBERT M. HIERONS

Journal:

Software Testing, Verification and Reliability

Year:

1997

Language:

english

File:

PDF, 152 KB

english, 1997

23

Correct systems: building a business process solution. By Mike Holcombe and Florentin Ipate. Published by Springer-Verlag, Berlin, Germany, Applied Computing Series 1998. ISBN: 3-540-76246-9, 206 pages. Price: U.K. £24.50, U.S.A. $49.95, Germany DM 79.00, Soft Cover.

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 23 KB

english, 1999

24

Editorial

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 14 KB

english, 1999

25

Using program slicing to assist in the detection of equivalent mutants

Rob Hierons, Mark Harman, Sebastian Danicic

Journal:

Software Testing, Verification and Reliability

Year:

1999

Language:

english

File:

PDF, 211 KB

english, 1999

26

Testing Object-Oriented Software: Life-Cycle Solutions. By Imran Bashir and Amrit L. Goel. Published by Springer-Verlag, Berlin, Germany, 2000. ISBN: 0-387-98896-3, 209 pages. Price: U.K. £37, U.S.A. $54.95, Germany DM 108, Hard Cover.

Journal:

Software Testing, Verification and Reliability

Year:

2000

Language:

english

File:

PDF, 16 KB

english, 2000

27

Editorial: special issue on specification-based testing

Rob Hierons, John Derrick

Journal:

Software Testing, Verification and Reliability

Year:

2000

Language:

english

File:

PDF, 27 KB

english, 2000

28

Specification based testing

Journal:

Year:

2000

Language:

english

File:

PDF, 161 KB

english, 2000

29

On the testability of SDL specifications

R.M. Hierons, T.-H. Kim, H. Ural

Journal:

Computer Networks

Year:

2004

Language:

english

File:

PDF, 609 KB

english, 2004

30

Reducing the cost of applying adaptive test cases

R.M. Hierons, H. Ural

Journal:

Computer Networks

Year:

2007

Language:

english

File:

PDF, 299 KB

english, 2007

31

Overcoming controllability problems with fewest channels between testers

R.M. Hierons, H. Ural

Journal:

Computer Networks

Year:

2009

Language:

english

File:

PDF, 244 KB

english, 2009

32

Improving test quality using robust unique input/output circuit sequences (UIOCs)

Qiang Guo, Robert M. Hierons, Mark Harman, Karnig Derderian

Journal:

Information and Software Technology

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

33

Using status messages in the distributed test architecture

Journal:

Information and Software Technology

Year:

2009

Language:

english

File:

PDF, 237 KB

english, 2009

34

Automated metamorphic testing on the analyses of feature models

Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz-Cortés

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 537 KB

english, 2011

35

Mutation testing on an object-oriented framework: An experience report

Sergio Segura, Robert M. Hierons, David Benavides, Antonio Ruiz-Cortés

Journal:

Information and Software Technology

Year:

2011

Language:

english

File:

PDF, 563 KB

english, 2011

36

Using a minimal number of resets when testing from a finite state machine

Journal:

Information Processing Letters

Year:

2004

Language:

english

File:

PDF, 184 KB

english, 2004

37

Applying adaptive test cases to nondeterministic implementations

Journal:

Information Processing Letters

Year:

2006

Language:

english

File:

PDF, 84 KB

english, 2006

38

ConSUS: a light-weight program conditioner

Sebastian Danicic, Mohammed Daoudi, Chris Fox, Mark Harman, Robert M. Hierons, John R. Howroyd, Lahcen Ourabya, Martin Ward

Journal:

Journal of Systems and Software

Year:

2005

Language:

english

File:

PDF, 784 KB

english, 2005

39

Mutation testing from probabilistic and stochastic finite state machines

Robert M. Hierons, Mercedes G. Merayo

Journal:

Journal of Systems and Software

Year:

2009

Language:

english

File:

PDF, 707 KB

english, 2009

40

Testing conformance of a deterministic implementation against a non-deterministic stream X-machine

R.M. Hierons, M. Harman

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 479 KB

english, 2004

41

Canonical finite state machines for distributed systems

Robert M. Hierons

Journal:

Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 1.78 MB

english, 2010

42

Minimizing the cost of fault location when testing from a finite state machine

Robert M. Hierons

Journal:

Computer Communications

Year:

1999

Language:

english

File:

PDF, 127 KB

english, 1999

43

Testing of Communicating Systems, Vol. 10 by Myungchul Kim, Sugwon Kang, Keesoo Hong (Eds.); London: Chapman & Hall, 1997, 452 pp., ISBN 0-412-81730-6

Journal:

Computer Communications

Year:

1999

Language:

english

File:

PDF, 37 KB

english, 1999

44

Checking states and transitions of a set of communicating finite state machines

Journal:

Microprocessors and Microsystems

Year:

2001

Language:

english

File:

PDF, 324 KB

english, 2001

45

Equivalence of conservative, free, linear program schemas is decidable

Michael R. Laurence, Sebastian Danicic, Mark Harman, Rob Hierons, John Howroyd

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 312 KB

english, 2003

46

Testing a system specified using Statecharts and Z

R.M Hierons, S Sadeghipour, H Singh

Journal:

Information and Software Technology

Year:

2001

Language:

english

File:

PDF, 466 KB

english, 2001

47

Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults

Journal:

Information and Software Technology

Year:

2001

Language:

english

File:

PDF, 208 KB

english, 2001

48

UIO sequence based checking sequences for distributed test architectures

Robert M Hierons, Hasan Ural

Journal:

Information and Software Technology

Year:

2003

Language:

english

File:

PDF, 216 KB

english, 2003

49

CONSIT: a fully automated conditioned program slicer

Chris Fox, Sebastian Danicic, Mark Harman, Robert M. Hierons

Journal:

Software: Practice and Experience

Year:

2004

Language:

english

File:

PDF, 384 KB

english, 2004

50

Unifying program slicing and concept assignment for higher-level executable source code extraction

N. E. Gold, M. Harman, D. Binkley, R. M. Hierons

Journal:

Software: Practice and Experience

Year:

2005

Language:

english

File:

PDF, 273 KB

english, 2005